Dynamic Semantics as Monadic Computation
نویسنده
چکیده
This paper proposes a formulation of the basic ideas of dynamic semantics in terms of the state monad. Such a monadic treatment allows to specify meanings as computations that clearly separate context updating and context accessing operations from purely truth conditional meaning composition. Different behavior regarding the availability of referents throughout a discourse is modelled by adding structure to states, more specifically by distinguishing between global and local contexts, while relying solely on basic operations on sets and stacks.
منابع مشابه
Mixin Modules and Computational Effects
We define a calculus for investigating the interactions between mixin modules and computational effects, by combining the purely functional mixin calculus CMS with a monadic metalanguage supporting the two separate notions of simplification (local rewrite rules) and computation (global evaluation able to modify the store). This distinction is important for smoothly integrating the CMS rules (wh...
متن کاملA Modal Calculus for Exception Handling
The exception monad, while an adequate mechanism for providing the denotational semantics of exceptions, is somewhat awkward to program with. Just as any other monad, it forces a programming style in which exceptional computations are explicitly sequentialized in the program text. In addition, values of computation types must usually be tested before use, in order to determine if they correspon...
متن کاملA duality between LM-fuzzy possibility computations and their logical semantics
Let X be a dcpo and let L be a complete lattice. The family σL(X) of all Scott continuous mappings from X to L is a complete lattice under pointwise order, we call it the L-fuzzy Scott structure on X. Let E be a dcpo. A mapping g : σL(E) −> M is called an LM-fuzzy possibility valuation of E if it preserves arbitrary unions. Denote by πLM(E) the set of all LM-fuzzy possibility valuations of E. T...
متن کاملA Fully Abstract Semantics for a Higher-Order Functional Language with Nondeterministic Computation
This paper is about the relationship between the theory of monadic types and the practice of concurrent functional programming. We present a typed functional programming language CMML, with a type system based on Moggi’s monadic metalanguage, and concurrency based on Reppy’s Concurrent ML. We present an operational and denotational semantics for the language, and show that the denotational sema...
متن کاملSemantics of value recursion for Monadic Input/Output
Monads have been employed in programming languages for modeling various language features, most importantly those that involve side effects. In particular, Haskell’s IO monad provides access to I/O operations and mutable variables, without compromising referential transparency. Cyclic definitions that involve monadic computations give rise to the concept of value-recursion, where the fixed-poin...
متن کامل